1. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
پدیدآورنده : A. Voronkov, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
624
2. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses
رده :
QA
76
.
63
.
I55
1992
3. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses
رده :
QA
76
.
63
.
I55
1992
4. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings
پدیدآورنده : A. Voronkov, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
698
